(0 16 3)(1 14 13)(2 11 4)(5 9 7)(6 17 8)(10 15 12)
ALLOWS (11/8)-SEQUENCE
1: (8 13 17)
(0 16 3)(1 14 13 6 17)(2 11 4)(5 9 7)(8)(10 15 12)
2: (1 6 17)
(0 16 3)(1)(2 11 4)(5 9 7)(6 14 13)(8)(10 15 12)(17)
3: (0 16 3)
(0)(1)(2 11 4)(3)(5 9 7)(6 14 13)(8)(10 15 12)(16)(17)
4: (5 9 7)
(0)(1)(2 11 4)(3)(5)(6 14 13)(7)(8)(9)(10 15 12)(16)(17)